Nuprl Lemma : map-id
0,22
postcript
pdf
L
:Top List. map(
x
.
x
;
L
) ~
L
latex
Definitions
x
:
A
.
B
(
x
)
,
t
T
,
Top
Lemmas
top
wf
origin
L:Top List. map(
x.x;L) ~ L L:Top List. map(x.x;L) ~ L x:A. B(x)
T